EVENTO
Análise e Conversão de Algoritmos Criptográficos para Forma Normal Conjuntiva
Tipo de evento: Defesa de Dissertação de Mestrado
A criptografia é uma ciência que apresenta destaque no mundo atual, evidenciando anecessidade em realizar pesquisas voltadas para o seu aperfeiçoamento. Apesar das soluçõesempregadas atualmente serem baseadas em problemas suficientemente seguros, seu empregofuturo é questionado. As pesquisas demonstram potencial vulnerabilidade destes sistemas,caso os computadores quânticos estejam à disposição. Alternativas têm sido estudadaspara contornar tal problema.Este trabalho consiste em traduzir os algoritmos criptográficos simétricos para o sistema SAT e analisara saída obtida. Para isto, inicialmente estudamos o modelo do algoritmo criptográfico deinteresse e inserimos ele em um software verificador de modelos (CBMC). Este softwarenos retorna um sistema SAT a ser resolvido, ou seja, reescrevemos o problema como SAT.Além disto, o sistema pode ser interpretado como um grafo, então reduzimos o mesmoatravés de uma busca em profundidade antes de resolvê-lo, para tornar o problema factívelde resolução. A técnica proposta é submetida a um conjunto de testes, utilizando meiospropostos pela literatura e alguns meios originais do trabalho, para validar a ferramenta
Data Início: 17/02/2017 Hora: 10:00 Data Fim: 17/02/2017 Hora: 13:00
Local: LNCC - Laboratório Nacional de Computação Ciêntifica - Auditorio A
Aluno: Natasha do Nascimento Paiva - Laboratório Nacional de Computação Científica - LNCC
Co-Orientador: Pedro Carlos da Silva Lara - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca - CEFET/RJ
Orientador: Renato Portugal - Laboratório Nacional de Computação Científica - LNCC
Participante Banca Examinadora: Jauvane Cavalcante de Oliveira - Laboratório Nacional de Computação Científica - LNCC Nadia Nedjah - Universidade Estadual do Rio de Janeiro - UERJ Renato Portugal - Laboratório Nacional de Computação Científica - LNCC
Suplente Banca Examinadora: Diego Barreto Andrade - CEFET/RJ - CEFET/RJ Gilson Antônio Giraldi - Laboratório Nacional de Computação Científica - LNCC
